Fix xc_make_page_below_4G(). Should fix PAE domain
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 14 Sep 2005 16:56:05 +0000 (16:56 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 14 Sep 2005 16:56:05 +0000 (16:56 +0000)
commit134ef9dc4ad47858c2fd2c57c7389f8a5e955601
treedc55d3c998546f9177c674a0ceeb6a4f2413a749
parent7d4d9ab1dda0e0c71ffc55b65f289d652fe0c8bf
Fix xc_make_page_below_4G(). Should fix PAE domain
building on >= 4GB systems.

Signed-off-by: Keir Fraser <keir@xensource.com>
tools/libxc/xc_private.c